3.2.1 Natural Deduction - Basic Proofs